From a Formalized Parallel Action Language to Its Efficient Code Generation
نویسندگان
چکیده
منابع مشابه
Code Generation to Aid Parallel Code Development
Design by Transformation (DxT) encodes domain-specific software design knowledge as graph rewrites; a tool applies these rewrites to a specification (an initial graph) to automatically derive the most efficient implementation of that graph (code). Previously, we used DxT to generate high-performance, distributed-memory dense linear algebra (DLA) code for the level-3 Basic Linear Algebra Subprog...
متن کاملCode generation techniques for the task-parallel programming language Spar
In this paper we describe a compilation scheme to translate implicitly parallel programs in the programming language Spar (an extension to Java) to efficient code for distributed-memory parallel computer systems. The compilation scheme is formulated as a set of transformation rules. In Spar, the language constructs for parallelization have been designed for comfortable use by the programmer, no...
متن کاملThe Challenges of Efficient Code-Generation for Massively Parallel Architectures
Overcoming the memory wall [15] may be achieved by increasing the bandwidth and reducing the latency of the processor to memory connection, for example by implementing Cellular architectures, such as the IBM Cyclops. Such massively parallel architectures have sophisticated memory models. In this paper we used DIMES (the Delaware Iterative Multiprocessor Emulation System), developed by CAPSL at ...
متن کاملA Meta-heuristic Approach to Parallel Code Generation
The efficient generation of parallel code for multi processor environments, is a large and complicated issue. Attempts to address this problem have always resulted in significant input from users. Because of constraints on user knowledge and time, the automation of the process is a promising and practically important research area. In recent years heuristic approaches have been used to capture ...
متن کاملA Hyper-Heuristic Approach to Parallel Code Generation
The goal of this paper is to demonstrate the utilisation of artificial intelligence (AI) technology within the field of auto-parallelisation. The paper will demonstrate the relevance and value of using AI approaches by reviewing three parallelisation environments, The Mathematician's Devil, FortPort and KATT. These environments are used as a framework for the discussion on the use of AI in the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Embedded Computing Systems
سال: 2017
ISSN: 1539-9087,1558-3465
DOI: 10.1145/2990195